irq_ia64.c:
lost fix from domain->exec_domain update
--- /home/djm/linux-2.6.7/arch/ia64/kernel/irq_ia64.c 2004-06-15 23:19:13.000000000 -0600
-+++ arch/ia64/irq_ia64.c 2005-02-17 13:06:07.000000000 -0700
++++ arch/ia64/irq_ia64.c 2005-02-17 13:17:16.000000000 -0700
@@ -17,18 +17,26 @@
#include <linux/config.h>
#include <linux/module.h>
+#endif
+ //FIXME: TEMPORARY HACK!!!!
+ vcpu_pend_interrupt(dom0->exec_domain[0],vector);
-+ domain_wake(dom0);
++ domain_wake(dom0->exec_domain[0]);
+ }
+ else
+#endif